Functional Dependencies v.s. Type Families